Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested in benefiting from developments (...) made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration. (shrink)

This book explores why, regarding practical reasoning, humans are sometimes still faster than artificial intelligence systems. It is the first to offer a self-contained presentation of neural network models for many computer science logics.

This paper studies methodologically robust options for giving logical contents to nodes in abstract argumentation networks. It defines a variety of notions of attack in terms of the logical contents of the nodes in a network. General properties of logics are refined both in the object level and in the metalevel to suit the needs of the application. The network-based system improves upon some of the attempts in the literature to define attacks in terms of defeasible proofs, the so-called rule-based (...) systems. We also provide a number of examples and consider a rigorous case study, which indicate that our system does not suffer from anomalies. We define consequence relations based on a notion of defeat, consider rationality postulates, and prove that one such consequence relation is consistent. (shrink)

The target article criticises neural-symbolic systems as inadequate for analogical reasoning and proposes a model of analogy as transformation (i.e., learning). We accept the importance of learning, but we argue that, instead of conflicting, integrated reasoning and learning would model analogy much more adequately. In this new perspective, modern neural-symbolic systems become the natural candidates for modelling analogy.

Formal models of argumentation have been investigated in several areas, from multi-agent systems and artificial intelligence (AI) to decision making, philosophy and law. In artificial intelligence, logic-based models have been the standard for the representation of argumentative reasoning. More recently, the standard logic-based models have been shown equivalent to standard connectionist models. This has created a new line of research where (i) neural networks can be used as a parallel computational model for argumentation and (ii) neural networks can be used (...) to combine argumentation, quantitative reasoning and statistical learning. At the same time, non-standard logic models of argumentation started to emerge. In this paper, we propose a connectionist cognitive model of argumentation that accounts for both standard and non-standard forms of argumentation. The model is shown to be an adequate framework for dealing with standard and non-standard argumentation, including joint-attacks, argument support, ordered attacks, disjunctive attacks, meta-level attacks, self-defeating attacks, argument accrual and uncertainty. We show that the neural cognitive approach offers an adequate way of modelling all of these different aspects of argumentation. We have applied the framework to the modelling of a public prosecution charging decision as part of a real legal decision making case study containing many of the above aspects of argumentation. The results show that the model can be a useful tool in the analysis of legal decision making, including the analysis of what-if questions and the analysis of alternative conclusions. The approach opens up two new perspectives in the short-term: the use of neural networks for computing prevailing arguments efficiently through the propagation in parallel of neuronal activations, and the use of the same networks to evolve the structure of the argumentation network through learning (e.g. to learn the strength of arguments from data). (shrink)

Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artificial intelligence system. Are we faster because of the way we perceive knowledge as opposed to the way we represent it? -/- The authors address this question by presenting neural network models that integrate the two most fundamental phenomena of cognition: our ability to learn from experience, and our ability to reason from what has been learned. This (...) book is the first to offer a self-contained presentation of neural network models for a number of computer science logics, including modal, temporal, and epistemic logics. By using a graphical presentation, it explains neural networks through a sound neural-symbolic integration methodology, and it focuses on the benefits of integrating effective robust learning with expressive reasoning capabilities. -/- The book will be invaluable reading for academic researchers, graduate students, and senior undergraduates in computer science, artificial intelligence, machine learning, cognitive science and engineering. It will also be of interest to computational logicians, and professional specialists on applications of cognitive, hybrid and artificial intelligence systems. (shrink)

This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...) normative contexts. (shrink)

This paper examines the role that linguistic and cognitive prominence play in the resolution of anaphor–antecedent relationships. In two experiments, we found that pronouns are immediately sensitive to the cognitive prominence of potential antecedents when other antecedent selection cues are uninformative. In experiment 1, results suggest that despite their theoretical dissimilarities, topic and contrastive focus both serve to enhance cognitive prominence. Results from experiment 2 suggest that the contrastive prosody appropriate for focus constructions may also play an important role in (...) enhancing cognitive prominence. Thus different types of linguistic prominence (topic, contrastive focus) appear to have the common effect of increasing the cognitive prominence of the discourse referent. For pronouns with two possible antecedents, the cognitive prominence of an antecedent aids in anaphor resolution, immediately biasing selection towards the more prominent (and ultimately preferred) antecedent. (shrink)

Dans les « Deux dogmes», Quine voulait démontrer que le positivisme logique n’était possible qu’en raison d’hypothèses injustifiées. L’intention de Quine était de montrer qu’il n’est possible de sauver l’empirisme que si l’on accepte une autre approche, holistique. Toutefois, l’article de Quine était anachronique dès le moment de sa publication. Le but de cet article est double. Tout d’abord, on esquissera l’argument de Quine et on le confrontera aux positions de Carnap et Dubislav. On montrera que la critique de Quine (...) était en retard d’au moins 15 ans. En deuxième lieu, on examinera le postulat de Quine de l’empirisme sans dogmes et on comparera brièvement à la théorie de Poznański et Wundheiler. On soutiendra que ce postulat avait été réalisé déjà dans les années 1930. (shrink)

Mozambique has seen remarkable growth in biomedical research over the last decade. To meet a growing need, the National Committee for Bioethics in Health of Mozambique encouraged the development of ethical review processes at institutions that regularly conduct medical and social science research. In 2012, the Faculty of Medicine of University Eduardo Mondlane and the Maputo Central Hospital established a joint Institutional Committee on Bioethics for Health. This study examines the experience of the first 4 years of the CIBS FM (...) & MCH. This study provides a descriptive, retrospective analysis of research protocols submitted to and approved by the CIBS FM & MCH between March 1, 2013 and December 31, 2016, together with an analysis of the Committee’s respective reviews and actions. A total of 356 protocols were submitted for review during the period under analysis, with 309 protocols approved. Sixty-four percent were submitted by students, faculty, and researchers from UEM, mainly related to Master’s degree research. Descriptive cross-sectional studies were the most frequently reviewed research. The majority were prospective and used quantitative methodologies. The Departments of Internal Medicine at MCH and Community Health at the FM submitted the most protocols from their respective institutions, with 38 and 53% respectively. The CIBS’s average time to final approval for all protocols was 56 days, rising to 161 for the 40 protocols that required subsequent national-level review by the CNBS. Our results show that over its first 4 years, the CIBS FM & MCH has been successful in managing a constant demand for protocol review and that several broad quality improvement initiatives, such as investigator mentoring and an electronic protocol submission platform have improved efficiency in the review process and the overall quality of the protocols submitted. Beyond Maputo, long-term investments in training and ethical capacity building for CIBS across the country continue to be needed, as Mozambique develops greater capacity for research and makes progress toward improving the health of all its citizens. (shrink)

Dans les « Deux dogmes», Quine voulait démontrer que le positivisme logique n’était possible qu’en raison d’hypothèses injustifiées. L’intention de Quine était de montrer qu’il n’est possible de sauver l’empirisme que si l’on accepte une autre approche, holistique. Toutefois, l’article de Quine était anachronique dès le moment de sa publication. Le but de cet article est double. Tout d’abord, on esquissera l’argument de Quine et on le confrontera aux positions de Carnap et Dubislav. On montrera que la critique de Quine (...) était en retard d’au moins 15 ans. En deuxième lieu, on examinera le postulat de Quine de l’empirisme sans dogmes et on comparera brièvement à la théorie de Poznański et Wundheiler. On soutiendra que ce postulat avait été réalisé déjà dans les années 1930. (shrink)

En este breve comentario discuto algunos aspectos de la interpretación de la epistemología de Davidson que sugiere Willian Duica en su reciente libro. Luego de una presentación somera del libro me centro en tres asuntos centrales de la interpretación de Duica. En primer lugar, argumento que su lectura de la crítica de Davidson al dualismo esquema/contenido es muy restrictiva y deja abierta la posibilidad de un realismo directo empirista. En segundo lugar, argumento que en su lectura el propio Duica se (...) compromete inadvertidamente con un empirismo de este tipo y, de este modo, su interpretación entra en tensión con el coherentismo de Davidson. Finalmente, discuto algunos aspectos de la interpretación que hace Duica de la tesis davidsoniana de la triangulación. In this short comment I discuss some aspects of William Duica's interpretation of Davidson's epistemology in a recent book. After a brief review of the book, I focus on three central issues of Duica's interpretation. First, I argue that his reading of Davidson's criticism of the scheme/content dualism is too restrictive and leaves open the possibility of an empiricist direct realism. Second, I argue in his reading Duica inadvertently commits himself to an empiricism of this sort and, as a result, his interpretation is in tension with Davidson's own coherentism. Finally, I discuss some aspects of Duica's interpretation of Davidsonian triangulation. (shrink)

The article aims at analyzing the case of Beppe Grillo and his Five Stars Movement in terms of social, cultural and linguistic phenomenon that – initially as a virtual party without a structured organization – seems to conquer both right-wing and left-wing Italian citizens notwithstanding generational and ideological differences. The success of grillini in the parliamentary election of 2018 as a consequence of Matteo Renzi’s constitutional referendum failure, represents a clear sign of the leadership crisis as well as the drifting (...) apart of the ruling class that ignored the problems of ordinary people for several years. The analysis is focused on both form and content: on the one hand, the artistic expression characteristic of Grillo, his gestures, mimicry and direct language plenty of verbal hyperboles, rhetorical figures, swearwords and blasphemous obscenities that build his uncompromising charisma, on the other modern technologies and social media that are used to communicate efficiently with the electorate, create an image of an open-minded politician keeping up with the outer world. All the aforementioned circumstances demonstrate an innovative approach based on political communication that devolves some level of decision-making power to the party supporters being active web users: bloggers and influencers at the same time. Such paradigm is followed by other representatives of the Italian political scene nowadays. (shrink)

This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of modal logic, intuitionistic logic, logic and language, nonmonotonic logic and logic programming, temporal logic, logic and learning, combination of logics, practical reasoning, logic and artificial intelligence, abduction, (...) theorem proving and goal-directed reasoning. It will be invaluable reading for researchers and graduate students in logic and computer science, and a fabulous source of inspiration for research students in search of a topic for a PhD in logic and theoretical computer science. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Consciousness and Machines:A Commentary Drawing on Japanese PhilosophyS. D. Noam Cook (bio)Viewed from within the great unity of consciousness, thinking is a wave on the surface of a great intuition.Kitarō NishidaIntroductionRecent developments in AI have made the long-standing debate about what computers can and can't do a major public concern. What we understand the properties of such machines to be, and consequently how we design [End Page 305] and (...) deploy them, will increasingly shape how we live and how we understand ourselves. Thus, there is an urgent need for better understanding of these issues.Susan Schneider, in her book Artificial You: AI and the Future of Your Mind, offers an exceptionally careful and insightful examination of key issues entailed in how we understand AI and ourselves. One of her central concerns is how we might test for machine consciousness. Given the variations in design and function among current and projected AIs, Schneider sees no likely one-size-fits-all test. So, she offers a battery of different tests that she believes together will make such testing more reliable. This seems a wise approach, and reflects the conceptual and pragmatic care Schneider takes throughout the book.Similarly, it seems to me that the question of machine consciousness should also include various understandings of consciousness itself. What consciousness is taken to be has varied widely both historically and culturally. No commonly accepted single understanding has emerged, and may never emerge. Just as having a battery of tests might help us better assess possible machine consciousness, having different understandings of consciousness might give us a better understanding of what we are testing for. The two should work in tandem, each gauging and shaping the other.Like the development of computers themselves, the predominant thinking about AI has been shaped, in part, by key presuppositions of a scientific worldview, with its origins in Western thought and culture. Among these presuppositions are materialism, reductionism, and a primary focus on objective behavior. These are reflected in the common concern with observable behavior of physical aspects of the brain in efforts to understand human consciousness, which in turn has become a familiar model for work on machine consciousness. All this is important and valuable work. But, in the spirit of Schneider's cautions, it should not be taken as one-size-fits-all. Accordingly, I offer one view of consciousness from a different perspective.In what follows, I sketch out an understanding of consciousness that draws on Japanese philosophy, particularly that of the highly influential early twentieth-century Japanese philosopher Kitarō Nishida (1870–1945). I then explore how the tests for machine consciousness that Schneider proposes might be viewed from that perspective.Consciousness: A Perspective from Japanese PhilosophyConsciousness was a central concern for Nishida, whose philosophy is deeply informed by Japanese culture and by Zen theory and practice. As one might expect from such a philosopher, Nishida's exploration of consciousness is not concerned with properties of the brain, but with what we might discern through disciplined reflection on the experience of our own consciousness. Ultimately, he views consciousness as an organic whole [End Page 306] of systemically organized interrelationships of activities and sensations within our subjective experience. This may be understood by first considering 'nothingness'.For Nishida, nothingness does not suggest an ultimate and absolute vacuity, as is often understandably assumed. In Nishida's sense, it is a singular "place" that mirrors the multifaceted world of our common experience. In understanding this, I am told by native Japanese speakers that the English word 'nothingness' has an advantage over the Japanese equivalent, 'mu', in that 'nothingness' can usefully be broken down as 'nothing-ness'. This suggests that nothingness is a state of consciousness where what we commonly experience as distinct (self, other, world, blue, ache, joy, etc.) is indistinct, a state of unified experience. This is consciousness without our finding or discriminating in it the myriad "things" of common experience, but rather a "pure experience" of a singular whole. Nishida introduces his concept of "pure experience" as follows:To experience means to know facts just as they are, to know in accordance with facts by completely relinquishing one... (shrink)

Trabajo intelectual y trabajo manual -- La historia de la filosofía en la enseñanza de la filosofía -- Sobre el estoicismo -- La concepción de tiempo en el libro XI de las Confesiones de San Agustín -- Sobre la muerte.

Einstein, in his “Zur Elektrodynamik bewegter Körper”, gave a physical (operational) meaning to “time” of a remote event in describing “motion” by introducing the concept of “synchronous stationary clocks located at different places”. But with regard to “place” in describing motion, he assumed without analysis the concept of a system of co-ordinates.In the present paper, we propose a way of giving physical (operational) meaning to the concepts of “place” and “co-ordinate system”, and show how the observer can define both the (...) place and time of a remote event. Following Einstein, we consider another system “in uniform motion of translation relatively to the former”. Without assuming “the properties of homogeneity which we attribute to space and time”, we show that the definitions of space and time in the two systems are linearly related. We deduce some novel consequences of our approach regarding faster-than-light observers and particles, “one-way” and “two-way” velocities of light, symmetry, the “group property” of inertial reference frames, length contraction and time dilatation, and the “twin paradox”. Finally, we point out a flaw in Einstein’s argument in the “Electrodynamical Part” of his paper and show that the Lorentz force formula and Einstein’s formula for transformation of field quantities are mutually consistent. We show that for faster-than-light bodies, a simple modification of Planck’s formula for mass suffices. (Except for the reference to Planck’s formula, we restrict ourselves to Physics of 1905.). (shrink)

A recent exchange on Benatar’s book Better never to have been between Doyal and Benatar discusses Benatar’s bold claim that people should not be brought into existence. Here, I expand the discussion of original position that the exchange focused on. I also discuss the asymmetries, between benefit and harm and between existence and non-existence, upon which Benatar’s bold claim rests. In both discussions, I show how Benatar’s bold claim can be rejected.

The relationship between place and remembering has been a long-standing matter of phenomenological concern. The role of the 'lived body' in mediating acts of remembering in context is clearly crucial. In this paper we contribute to an 'expanded view of memory' by describing how remembering difficult or problematic events -- 'vital memories' -- draws upon inter-subjective and inter-objective relations. We discuss two conceptual tools that provide an analytic framework -- the concept of 'life space' drawn from Kurt Lewin and the (...) idea of the 'setting specificity' of remembering. From this perspective we can see that the 'lived body' does not constitute a singular unity but rather a 'plurality' of potential bodies that have 'operative solidarity' with the material relations in which they are constituted. Drawing on the work of Eduardo Viveiros de Castro, we argue that 'body memories' need to be analysed from within the embodied material-relational perspective wherein they are afforded. (shrink)

Geoffrey Rose’s prevention paradox points to a tension between two prima facie plausible moral principles: that we should save the greater number and that weshould save the most at risk. This paper argues that a novel moral theory, ex-ante contractualism, captures our intuitions in many prevention paradox cases, regardless of our interpretation of probability claims. However, it goes on to show that it might be impossible to square ex-ante contractualism with all of our moral intuitions. It concludes that even if (...) ex-ante contractualism cannot furnish an entire ethics of risk, it does identify important considerations for any such theory. (shrink)

Geoffrey Rose’s prevention paradox points to a tension between two prima facie plausible moral principles: that we should save the greater number and that weshould save the most at risk. This paper argues that a novel moral theory, ex-ante contractualism, captures our intuitions in many prevention paradox cases, regardless of our interpretation of probability claims. However, it goes on to show that it might be impossible to square ex-ante contractualism with all of our moral intuitions. It concludes that even if (...) ex-ante contractualism cannot furnish an entire ethics of risk, it does identify important considerations for any such theory. (shrink)

This article addresses the aesthetic status of gargoyles in medieval Gothic architecture. Irreducible to the grotesque yet manifestly discrepant with the core of cathedral and monastic buildings, the gargoyle serves as an entry point for an exploration of the stylistic relations comprising the Gothic and reflecting the cultural duality of the ecclesiastic sites of its historical emergence. The relation between gargoyles and the bulk of Gothic structures and ornamentation is discussed in terms of an “aesthetics of contrast.”.

FEATURED IN EVENTAL AESTHETICS RETROSPECTIVE 1. LOOKING BACK AT 10 ISSUES OF EVENTAL AESTHETICS. This article addresses the aesthetic status of gargoyles in medieval Gothic architecture. Irreducible to the grotesque yet manifestly discrepant with the core of cathedral and monastic buildings, the gargoyle serves as an entry point for an exploration of the stylistic relations comprising the Gothic and reflecting the cultural duality of the ecclesiastic sites of its historical emergence. The relation between gargoyles and the bulk of Gothic structures (...) and ornamentation is discussed in terms of an “aesthetics of contrast.”. (shrink)